-
1 обратная импликация
Большой англо-русский и русско-английский словарь > обратная импликация
-
2 обратная импликация
1) Mathematics: backward implication, converse implication, inverse implication2) Information technology: converseУниверсальный русско-английский словарь > обратная импликация
-
3 обратная импликация
зворо́тна імпліка́ціяРусско-украинский политехнический словарь > обратная импликация
-
4 обратная импликация
зворо́тна імпліка́ціяРусско-украинский политехнический словарь > обратная импликация
-
5 обратная импликация
adjgener. implication converse -
6 обратная импликация
Русско-английский словарь по электронике > обратная импликация
-
7 обратная импликация
Русско-английский словарь по радиоэлектронике > обратная импликация
-
8 обратная импликация
backward implication мат., converse implication, inverse implicationРусско-английский научно-технический словарь Масловского > обратная импликация
-
9 импликация
-
10 импликация
-
11 backward implication
Англо-русский словарь промышленной и научной лексики > backward implication
-
12 обратное утверждение
обратное утверждение
обратная импликация
инверсия
—
[Л.Г.Суменко. Англо-русский словарь по информационным технологиям. М.: ГП ЦНИИС, 2003.]Тематики
Синонимы
EN
Русско-английский словарь нормативно-технической терминологии > обратное утверждение
-
13 converse
обратное утверждение
обратная импликация
инверсия
—
[Л.Г.Суменко. Англо-русский словарь по информационным технологиям. М.: ГП ЦНИИС, 2003.]Тематики
Синонимы
EN
Англо-русский словарь нормативно-технической терминологии > converse
-
14 converse
̈ɪ ̘. ̈v.kənˈvə:s I
1. гл.
1) разговаривать, вести беседу (about/on - о чем-л.;
with - с кем-л.) Old men were sitting in the park, conversing about the weather. ≈ В парке сидели старики и говорили о погоде. I wasted half an hour this morning conversing with my neighbour. ≈ Сегодня утром я убил полчаса в совершенно пустой беседе со своим соседом.
2) общаться, поддерживать связь, иметь контакты с кем-л. (with) Syn: commune
2.
2. сущ.
1) беседа, разговор Syn: discourse, talk, conversation
2) общение;
связь;
контакт Syn: intercourse, contact, communion II
1. сущ.
1) обратное утверждение, положение или отношение (вообще что-л. противоположное, обратное, противоположность) Their positions are in fact the exact converses of each other. ≈ В действительности их позиции совершенно противоположны.
2) мат. обратная теорема Syn: converse theorem
2. прил.
1) повернутый, перевернутый;
инверсный;
противоположный;
' расположенный напротив Syn: turned round;
contrary, opposite
2) мат. обратный;
конверсный converse function ≈ конверсная функция converse implication ≈ обратная импликация converse theorem ≈ обратная теорема converse ratio, converse proportion ≈ обратная пропорция Syn: back, return( книжное) разговор, беседа общение (книжное) разговаривать поддерживать отношения, общаться - to * with nature общаться с природой что-л. обратное, противоположное - "hot" is the * of "cold" "горячий" - антоним к слову "холодный" (логика) суждение, образованное посредством обращения обратный, противоположный - * wind противный ветер;
- * order of the alphabet алфавит в обратном порядке;
- I hold the * opinion я придерживаюсь противоположного мнения converse мат. обратная теорема ~ обратное утверждение, положение или отношение ~ обратный;
перевернутый ~ общаться, поддерживать отношения( с кем-л.) ~ общение ~ разговаривать, беседовать ~ разговор, беседаБольшой англо-русский и русско-английский словарь > converse
-
15 converse
I 1. [kən'vɜːs] гл.1) разговаривать, вести беседуOld men were sitting in the park, conversing about the weather. — В парке сидели старики и говорили о погоде.
I wasted half an hour this morning conversing with my neighbour. — Сегодня утром я убил полчаса в совершенно пустой беседе со своим соседом.
2) общаться; поддерживать связь, иметь контактыSyn:commune II 2.2. ['kɔnvɜːs] сущ.1) беседа, разговорSyn:2) общение; связь, контактSyn:II ['kɔnvɜːs] 1. сущ.обратное утверждение; обратное отношение; противоположность2. прил.Their positions are in fact the exact converses of each other. — В действительности их позиции совершенно противоположны.
1) повёрнутый, перевёрнутый; противоположный; расположенный напротивSyn:2) мат. обратный; конверсныйconverse ratio / proportion — обратная пропорция
-
16 converse
['kɒnvɜːs]1) Общая лексика: (что-л.) обратное, беседа, беседовать, обратное отношение, обратное положение, обратный, общаться (с кем-либо), общение, перевёрнутый, поддерживать отношения, преобразовывать, противоположное, противоположный, разговаривать, разговор, что-л. обратное, что-л. противоположное2) Книжное выражение: общение (в т. ч. духовное)3) Математика: обратная теорема, обратное значение, обратное утверждение, обращённый, обращение, противоположное значение, противоположность4) Религия: испанский еврей, обращённый в христианство, (Any of the Spanish Jews who adopted the Christian religion after a severe persecution in the late 14th and early 15th centuries) конверсо5) Логика: суждение, образованное посредством обращения6) Физика: преобразовать7) Вычислительная техника: инверсия, обратная импликация8) Контроль качества: противоположное или обратное значение, обратный (об эффекте)9) Макаров: беседочный, обратное, противоположное утверждение -
17 backward implication
Большой англо-русский и русско-английский словарь > backward implication
-
18 converse implication
Большой англо-русский и русско-английский словарь > converse implication
-
19 convers
1)2) лог. обратный; конверсный -
20 backward implication
Математика: обратная импликация
- 1
- 2
См. также в других словарях:
Импликация — Импликация (лат. implicatio связь) бинарная логическая связка, по своему применению приближенная к союзам «если… то…». Импликация записывается как посылка следствие; применяются также стрелки другой формы и направленные в другую… … Википедия
Логические элементы — Логические элементы устройства, предназначенные для обработки информации в цифровой форме (последовательности сигналов высокого «1» и низкого «0» уровней в двоичной логике, последовательность «0», «1» и «2» в троичной логике,… … Википедия
ПРЕДИКАТОВ ИСЧИСЛЕНИЕ — общее название исчислений математической логики, являющихся формализацией тех разделов совр. логики, к рые изучают субъектно предикатную структуру предложений (высказываний), понимаемую в более широком, чем в традиц. логике, смысле: помимо теории … Философская энциклопедия
обратное утверждение — обратная импликация инверсия — [Л.Г.Суменко. Англо русский словарь по информационным технологиям. М.: ГП ЦНИИС, 2003.] Тематики информационные технологии в целом Синонимы обратная импликацияинверсия EN converse … Справочник технического переводчика
ДВОЙСТВЕННОСТИ ПРИНЦИП — 1) Д. п. в математической логике теорема о взаимозаменяемости в определенном смысле логич. операций в формулах формальных логических и логико предметных языков. Пусть А формула языка логики высказываний или логики предикатов, не содержащая знака… … Математическая энциклопедия
Булева функция — В данной статье или разделе имеется список источников или внешних ссылок, но источники отдельных утверждений остаются неясными из за отсутствия сносок … Википедия
КОНСТРУКТИВНАЯ ЛОГИКА — 1) то же, что и интуиционистская логика; 2) ветвь логики, в которой изучаются финитные (см. Финитизм) рассуждения о конструктивных объектах и процессах (см. Конструктивное направление) и строится соответств. семантика. В К. л. отвергается … Философская энциклопедия
ПРОВЕРЯЕМОСТЬ — 1) В широком смысле – вообще возможность проверки истинности знания. 2) В более узком и более точном смысле – возможность проверки высказываний посредством сопоставления с эмпирич. данными. В этом смысле различают н е п о с р е д с т в е н н у ю… … Философская энциклопедия
ПРОЕКТИВНОЕ МНОЖЕСТВО — множество, к рое может быть получено из борелевских множеств повторным применением операций проектирования и перехода к дополнению. П. м. классифицируются по классам, образующим проективную иерархию. Пусть I=ww бэровское пространство… … Математическая энциклопедия
Абросимов, Александр Викторович — Александр Викторович Абросимов Дата рождения: 16 ноября 1948(1948 11 16) Место рождения: Куйбышев Дата смерти … Википедия
Логические операции — логические связки, логические операторы, функции, преобразующие высказывания или пропозициональные формы (т. е. выражения логики предикатов (См. Логика предикатов), содержащие переменные (См. Переменная) и обращающиеся в высказывания при… … Большая советская энциклопедия